221. The fire in the equations
پدیدآورنده : Ferguson, Kitty.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Religion and science,، God-- Proof, Cosmological,، Knowledge, Theory of
رده :
BL
240
.
2
.
F44
1994
222. <The> Nuts and Bolts of Proofs
پدیدآورنده : / Antonella Cupillari
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,تئوری اثبات
رده :
QA9
,.
54
.
C86
2013
223. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
224. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
225. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
226. The art of proof :
پدیدآورنده : Matthias Beck, Ross Geoghegan
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Study and teaching,Proof theory
رده :
QA9
.
54
.
B43
2010
227. The blind spot :
پدیدآورنده : Jean-Yves Girard
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic,Proof theory
228. The evidence for God : religious knowledge reexamined
پدیدآورنده : Moser, Paul K., 7591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، God -- Proof,، God )Christianity(,، Knowledge, Theory of )Religion(
رده :
BT
103
.
M68E9
229. The fire in the equations: science, religion, and the search for God
پدیدآورنده : Ferguson, Kitty
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Religion and science,Proof, Cosmological ، God,، Knowledge, Theory of
رده :
BL
240
.
2
.
F45
1995
230. The history of mathematical proof in ancient traditions /
پدیدآورنده : edited by Karine Chemla
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Ancient,Proof theory
رده :
QA22
.
H588
2012
231. The logic of provability
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(,، Proof theory
رده :
BC
199
.
M6B6
232. The moment of proof :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory ; Popular works. ;
233. The moment of proof
پدیدآورنده : Donald C. Benson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory-- Popular works.
234. The moment of proof: mathematical epiphanies
پدیدآورنده : Benson, Donald C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
B46
1999
235. The nuts and bolts of proofs
پدیدآورنده : / Antonella Cupillari
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory
رده :
E-BOOK
236. The nuts and bolts of proofs
پدیدآورنده : Cupillari, Antonella
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
C86N8
2005
237. The nuts and bolts of proofs
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ;
238. The nuts and bolts of proofs
پدیدآورنده : Cupillari, Antonella
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
C86
2001
239. The nuts and bolts of proofs : an introduction to mathematical proofs
پدیدآورنده : Cupillari, Antonella
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
C86N8
2013
240. The science of learning mathematical proofs :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ;
